// @ts-nocheck
// 这里比较 只是比较两个类型，是不是我要的子类型
export type Filter<T extends any[], U, F extends any[]=[]> = T extends [infer L, ...infer R] ? Filter<R,U, [L] extends [U] ? [...File, L]: F> : F;

type A = Filter<[1,"BEF",2, true, "dev"], number>;
type B = Filter<[1,"BEF",2, true, "dev"], string>;
type C = Filter<[1,"BEF",2, any, "dev"], string>;



export {}